TSTP Solution File: SWV427^1 by Mace4---1109a